Java checked exceptions